Bell Labs - PDFSEARCH.IO - Document Search Engine

Bell Labs
Results: 466

#	Item
81	Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-15 10:51:13 Software engineering Computer programming Computing Subroutines Lambda calculus Functional programming Data types JavaScript Eval Anonymous function Scope Substitution
82	LISA ZHANG Bell Laboratories 600 Mountain Avenue, 2A-442 Murray Hill, NJ-5281 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2015-12-13 23:44:09
83	A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:58 Software engineering Computing Computer programming Data types Type theory C++ Procedural programming languages ALGOL 68 Type system C++ classes Subtyping Const
84	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
85	2009 IEEE IEEE International International Symposium Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:01 Computer network security Boolean algebra Binary decision diagram Iptables Firewall Stateful firewall DMZ Boolean satisfiability problem True quantified Boolean formula Netfilter Computer network Distributed firewall
86	Tools for Composite Web Services: A Short Overview∗∗ Richard Hull ∗ Bell Labs Research Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2011-07-13 14:27:27
87	A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:33 Software engineering Declarative programming Lambda calculus Computer programming Functions and mappings Subroutines Functional programming Charts Graph of a function Closure Function Lambda lifting
88	A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:17 Type theory Object-oriented programming Polymorphism Subtyping Base Mathematics Structure
89	Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:28 Connection Differential geometry Process calculi Theoretical computer science -calculus Valuation Bearing pressure Symbol
90	PATTERN-MATCHING SPI-CALCULUS∗ Christian Haack DePaul University Alan Jeffrey Bell Labs, Lucent Technologies Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:38 Public-key cryptography Public key infrastructure XTR BurrowsAbadiNeedham logic Four-square cipher OkamotoUchiyama cryptosystem

UPDATE